Free shipping on all orders! No minimum purchase required.
Higher-Order Algebra, Logic, and Term Rewriting
by Bernhard Möller (Editor), Karl Meinke
